Abteilung Wissensbasierte Systeme Probabilistic Logic Programming under Inheritance with Overriding
نویسنده
چکیده
We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which are obtained from the classical notion of logical entailment by adding inheritance with overriding. This is done by using recent approaches to probabilistic default reasoning with conditional constraints. We analyze the semantic properties of the new entailment relations. We also present algorithms for probabilistic logic programming under inheritance with overriding, and we analyze its complexity in the propositional case. 1Institut und Ludwig Wittgenstein Labor für Informationssysteme, TU Wien, Favoritenstraße 9-11, A-1040 Vienna, Austria. E-mail: [email protected]. Acknowledgements: I am very grateful to Gabriele Kern-Isberner for valuable comments on an earlier version of this paper. This work has been supported by a DFG grant and the Austrian Science Fund under project N Z29-INF. Copyright c 2001 by the authors 2 INFSYS RR 1843-01-05
منابع مشابه
Probabilistic Logic Programming under Inheritance with Overriding
We present probabilistic logic programming un der inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which are obtained from the classical notion of logical entailment by adding inheritance with overriding. This is done by using recent approaches to probabilistic de fault reasoning with conditional constraints. We analy...
متن کاملProbabilistic Logic Programming under Inheritance with Overriding Probabilistic Logic Programming under Inheritance with Overriding
We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which are obtained from the classical notion of logical entailment by adding inheritance with overriding. This is done by using recent approaches to probabilistic default reasoning with conditional constraints. We analyze t...
متن کاملAbteilung Wissensbasierte Systeme Using Methods of Declarative Logic Programming for Intelligent Information Agents
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources available, and on the other hand from their intrinsic heterogeneity, since standards are missing. A promising approach for solving the complex problems emerging in this context is the use of multi-agent systems of informati...
متن کاملAbteilung Wissensbasierte Systeme Reasoning about Evolving Nonmonotonic Knowledge Bases
Recently, several approaches to updating knowledge bases modeled as extended logic programs have been introduced, ranging from basic methods to incorporate (sequences of) sets of rules into a logic program, to more elaborate methods which use an update policy for specifying how updates must be incorporated. In this paper, we introduce a framework for reasoning about evolving knowledge bases, wh...
متن کاملAbteilung Wissensbasierte Systeme Probabilistic Logic Programming with Conditional Constraints
We introduce a new approach to probabilistic logic programming in which probabilities are defined over a set of possible worlds. More precisely, classical program clauses are extended by a subinterval of [0; 1℄ that describes a range for the conditional probability of the head of a clause given its body. We then analyze the complexity of selected probabilistic logic programming tasks. It turns ...
متن کامل